#include<stdio.h>
#include<string.h>
int main(void){
    char coin1[1010],coin2[1010];
    scanf("%s",coin1);
    scanf("%s",coin2);
    int len = strlen(coin1);
    int times = 0;
    for(int i=0;i<len;i++){
        if(coin1[i]!=coin2[i]){
            times++;
            for(int j=i;j<i+2;j++){
                if(coin1[j]=='*'){
                    coin1[j] = 'o';
                }
                else{
                    coin1[j] = '*';
                }
            }
        }
    }
    printf("%d",times);
    return 0;
}